1

Is Logic Necessary?

Year:
2010
Language:
english
File:
PDF, 163 KB
english, 2010
3

First order zero–one laws for random graphs on the circle

Year:
1999
Language:
english
File:
PDF, 329 KB
english, 1999
4

A Splitting Inequality

Year:
1998
Language:
english
File:
PDF, 66 KB
english, 1998
5

SOME RAMSEY THEORY IN BOOLEAN ALGEBRA FOR COMPLEXITY CLASSES

Year:
1992
Language:
english
File:
PDF, 367 KB
english, 1992
6

Parametrization over inductive relations of a bounded number of variables

Year:
1990
Language:
english
File:
PDF, 2.08 MB
english, 1990
7

The Dimension of the Negation of Transitive Closure

Year:
1995
Language:
english
File:
PDF, 1.39 MB
english, 1995
8

Dimension Versus Number of Variables, and Connectivity, too

Year:
1995
Language:
english
File:
PDF, 1.32 MB
english, 1995
9

Guarded Quantification in Least Fixed Point Logic

Year:
2004
Language:
english
File:
PDF, 4.40 MB
english, 2004
11

Eventual periodicity and ``one-dimensional'' queries.

Year:
1992
Language:
english
File:
PDF, 1.94 MB
english, 1992
12

Prospects for mathematical crystallography

Year:
2014
Language:
english
File:
PDF, 385 KB
english, 2014
13

Complexity classes for self-assembling flexible tiles

Year:
2009
Language:
english
File:
PDF, 1.19 MB
english, 2009
14

Automatically generated periodic graphs

Year:
2015
Language:
english
File:
PDF, 1.12 MB
english, 2015
15

Threshold Functions for Random Graphs on a Line Segment

Year:
2004
Language:
english
File:
PDF, 318 KB
english, 2004
16

When is arithmetic possible?

Year:
1990
Language:
english
File:
PDF, 1.48 MB
english, 1990
19

MSO zero-one laws on random labelled acyclic graphs

Year:
2002
Language:
english
File:
PDF, 166 KB
english, 2002
20

The wingspan of mathematical crystallography

Year:
2014
Language:
english
File:
PDF, 46 KB
english, 2014
24

On the structure of random unlabelled acyclic graphs

Year:
2004
Language:
english
File:
PDF, 318 KB
english, 2004